A talk that I once gave:
Differential generalized cohomology
in Cohesive homotopy type theory
talk at:
IHP trimester on Semantics of proofs
Workshop 1: Formalization of Mathematics
Paris, 5-9 May 2014
on the differential cohomology hexagon in cohesive homotopy type theory and some comments on the application to Synthetic Quantum Field Theory.
Differential cohomology is Cohesive homotopy theory, talk at Higher Geometric Structures along the Lower Rhine June 2014, 19-20 June 2014
Some thoughts on the future of modal homotopy type theory, talk at German Mathematical Society meeting 2015, Hamburg
Last revised on September 14, 2022 at 06:49:40. See the history of this page for a list of all contributions to it.